Nuprl Lemma : int_upper_wf
12,41
postcript
pdf
n
:
. {
n
...}
Type
latex
ProofTree
Definitions
{
i
...}
,
t
T
,
x
:
A
.
B
(
x
)
,
Lemmas
le
wf
origin
n:
. {n...} 
Type
n:. {n...} Type
Tx:A. B(x)